% This file was created with JabRef 2.7b.
% Encoding: UTF-8

@INPROCEEDINGS{AbadiEA1991,
  author = {Abadi, M. and Cardelli, L. and Pierce, B. and Plotkin, G.},
  title = {Dynamic typing in a statically-typed language},
  booktitle = {Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles
	of programming languages},
  year = {1989},
  series = {POPL '89},
  pages = {213--227},
  address = {New York, NY, USA},
  publisher = {ACM},
  acmid = {75296},
  doi = {10.1145/75277.75296},
  isbn = {0-89791-294-2},
  location = {Austin, Texas, United States},
  numpages = {15},
  url = {http://doi.acm.org/10.1145/75277.75296}
}

@ARTICLE{BaconEA2004,
  author = {Bacon, David F. and Cheng, Perry and Rajan, V. T.},
  title = {A unified theory of garbage collection},
  journal = {SIGPLAN Not.},
  year = {2004},
  volume = {39},
  pages = {50--68},
  number = {10},
  month = oct,
  acmid = {1028982},
  address = {New York, NY, USA},
  doi = {10.1145/1035292.1028982},
  issn = {0362-1340},
  issue_date = {October 2004},
  keywords = {graph algorithms, mark-and-sweep, reference counting, tracing},
  numpages = {19},
  publisher = {ACM},
  url = {http://doi.acm.org/10.1145/1035292.1028982}
}

@ARTICLE{Church1932,
  author = {Alonzo Church},
  title = {A set of postulates for the foundation of logic},
  journal = {The Annals of Mathematics},
  year = {1932},
  volume = {33},
  pages = {346-366},
  number = {2},
  month = {April},
  owner = {mibeer},
  timestamp = {2012.06.03}
}

@BOOK{Queinnec2003,
  title = {Lisp in small pieces},
  publisher = {Cambridge University Press},
  year = {2003},
  author = {Christian Queinnec},
  owner = {mibeer},
  timestamp = {2012.06.03}
}

@INPROCEEDINGS{Steele1977,
  author = {Steele,Jr., Guy Lewis},
  title = {Debunking the \“expensive procedure call\” myth or, procedure call
	implementations considered harmful or, LAMBDA: The Ultimate GOTO},
  booktitle = {Proceedings of the 1977 annual conference},
  year = {1977},
  series = {ACM '77},
  pages = {153--162},
  address = {New York, NY, USA},
  publisher = {ACM},
  acmid = {810196},
  doi = {10.1145/800179.810196},
  keywords = {procedure calls, subroutine calls, structured programming, programming
	style, compilers, optimization},
  numpages = {10},
  review = {Tail-Recursion, GOTO-LAMBDA; "Use the technique most suitable for
	the quest you want to do"},
  url = {http://doi.acm.org/10.1145/800179.810196}
}

@ARTICLE{Tratt2009,
  author = {Laurence Tratt},
  title = {Dynamically Typed Languages},
  journal = {Advances in Computers},
  year = {2009},
  volume = {77},
  pages = {149-184},
  month = Jul,
  editor = {Marvin V. Zelkowitz}
}

@comment{jabref-meta: selector_publisher:}

@comment{jabref-meta: selector_author:}

@comment{jabref-meta: selector_journal:}

@comment{jabref-meta: selector_keywords:}

